A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
HariSekhon/DevOps-Bash-tools
github.comยท12h
๐ŸšShell Automation
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท10h
๐Ÿ”—Topological Sorting
Counting with Categories (Part 3)
golem.ph.utexas.eduยท22h
ฮปLambda Formalization
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.comยท1h
๐Ÿฆ Malware Analysis
Programming Entry Level: how to interpreter
dev.toยท14hยท
Discuss: DEV
๐Ÿ”—Lisp
Threaded Code
muforth.devยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท7h
๐Ÿ“Concrete Syntax
Ratcheting to zero: How incremental constraints eliminate technical debt
testdouble.comยท1d
โšกIncremental Computation
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
Why Agentic Flows Need Distributed-Systems Discipline
temporal.ioยท21hยท
Discuss: Hacker News
โš™๏ธTLA+
Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
Nix Development Setup for Factor
toast.alยท22hยท
Discuss: Lobsters, Hacker News
โ„nix
I've Seen Things, pt II
windowsir.blogspot.comยท1hยท
Discuss: www.blogger.com
๐Ÿ”“Hacking
๐Ÿš€ Wait4X v3.4.0: Introducing the exec Command
reddit.comยท3hยท
Discuss: r/golang
๐Ÿ”„Sync Engine
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
Magnus Therning: Finding a type for Redis commands
magnus.therning.orgยท4d
๐ŸŒProtocol Synthesis
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท5hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals